#include "idt.h"
#include "kernel.h"
#include "task.h"
#include "acpi.h"

void clock_interrupt_handler()
{
    send_local_apic_eoi();
    sched();
}